Generic truth and mixed conjunctions: some alternatives
نویسندگان
چکیده
منابع مشابه
Truth in generic cuts
In an earlier paper (MLQ 54, 128–144) the first author initiated the study of generic cuts of a model of Peano Arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more ...
متن کاملSome Recent Developments in Predictive Accuracy Testing With Nested Models and (Generic) Nonlinear Alternatives∗
Forecasters and applied econometricians are often interested in comparing the predictive accuracy of nested competing models. A leading example of nestedness is when predictive ability is equated with “out-of-sample Granger causality”. In particular, it is often of interest to assess whether historical data from one variable are useful when constructing a forecasting model for another variable,...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملSome weak theories of truth∗
In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a set of ten natural principles of truth and prove that every consistent permutation of them forms a theory conservative over Peano arithmetic. It seems that each axiomatic theory of truth that occurs in the literature is equipped with its own unique proof-theoretic ord...
متن کاملSome observations on Truth Hierarchies
We provide a precise representation for, and a calculation of the length of, possible path independent determinateness hierarchies of Field’s construction in [4]. We further show in the hierarchies Fα of Fieldian truth sets, and Herzberger’s Hα revision sequence starting from any recursive hypothesis for F0 (or H0) that essentially each Hα (or Fα) carries within it the history of the whole prio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Analysis
سال: 2009
ISSN: 0003-2638,1467-8284
DOI: 10.1093/analys/anp067